Extension by Conservation. Sikorski's Theorem

نویسندگان

  • Davide Rinaldi
  • Daniel Wessel
چکیده

Constructive meaning is given to the assertion that every finite Boolean algebra is an injective object in the category of distributive lattices. To this end, we employ Scott’s notion of entailment relation, in which context we describe Sikorski’s extension theorem for finite Boolean algebras and turn it into a syntactical conservation result. As a byproduct, we facilitate proofs of several related classical principles.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Extension of Krull's intersection theorem for fuzzy module

‎In this article we introduce $mu$-filtered fuzzy module with a family of fuzzy submodules.  It shows the relation between $mu$-filtered fuzzy modules and crisp filtered modules by level sets. We investigate fuzzy topology on the $mu$-filtered fuzzy module and apply that to introduce fuzzy completion. Finally we extend Krull's intersection theorem of fuzzy ideals by using concept $mu$-adic comp...

متن کامل

An extension of the Wedderburn-Artin Theorem

‎In this paper we give conditions under which a ring is isomorphic to a structural matrix ring over a division ring.

متن کامل

On Black-Scholes equation; method of Heir-equations‎, ‎nonlinear self-adjointness and conservation laws

In this paper, Heir-equations method is applied to investigate nonclassical symmetries and new solutions of the Black-Scholes equation. Nonlinear self-adjointness is proved and infinite number of conservation laws are computed by a new conservation laws theorem.

متن کامل

Agrobiodiversity Conservation Techniques Adopted By Rural Farmers in Kware Local Government Area Nigeria

The study examined agrobiodiversity conservation techniques adopted by rural farmers in Kware Local Government Area, Nigeria. Multistage sampling procedure was used to arrive at 120 farmers from three selected villages. Forty (40) interview schedule were administered in each of the sampled villages. Descriptive statistics was used to analyse the primary data collected. Results of the findings s...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1612.07345  شماره 

صفحات  -

تاریخ انتشار 2016